diff --git a/dts/Kconfig b/dts/Kconfig
index 20be556..83ba7a6 100644
--- a/dts/Kconfig
+++ b/dts/Kconfig
@@ -45,4 +45,11 @@
 
 endchoice
 
+config DEFAULT_DEVICE_TREE
+	string "Default Device Tree for DT control"
+	help
+	  This option specifies the default Device Tree used for DT control.
+	  It can be overrided from the command line:
+	  $ make DEVICE_TREE=<device-tree-name>
+
 endmenu